Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ... 185 (Lecture Notes in Computer Science)
by Hartmut Ehrig,James Thatcher,Maurice Nivat,Christiane Floyd
ISBN 13: 9783540151982
Format: Paperback (436 pages) Publisher: Springer Published: 01 Mar 1985
Save for later
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ... 186 (Lecture Notes in Computer Science)
ISBN 13: 9783540151999
Format: Paperback (476 pages) Publisher: Springer Published: 13 Jun 2008